temporal logic

A Quantitative Temporal Logic Approach to the Specification of Real Time Systems

实时系统的一种定量时态逻辑描述方法

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

Temporal Logic Approach on Modeling and Analysis of Workflow with Process Algebra Style

一种进程代数风格的基于时序逻辑的工作流建模方法

Model Checking Web Services Based on Temporal Logic of Knowledge

基于时态认知逻辑的Web服务模型检测

It consists of a TLL ( temporal logic language) XYZ/ E to serve as its kernel and a suite of software engineering tools.

它由时序逻辑语言（temporal logic language，简称TLL）XYZ/E和以该语言为基础的一组软件工程工具组成。

A new idea is presented to introduce the linear temporal logic ( LTL) technology and analog information into a fault diagnosis system for high voltage ( HV) transmission lines.

提出了将线性时态逻辑（LTL）技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。

Second, D3S can not express some high level logic expressions, especially some temporal properties of applications.

其次，D3S的谓词不具备高层的逻辑表达能力，尤其是难以表达应用程序的时态特性。

Scholars always tend to find out the various chains of temporal logic in their studies.

在《庄子》道体研究中,学者们总是力图寻找各种不同形态的逻辑-时间链条.

Model checking is a formal method for verifying the temporal logic properties of finite state systems.

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。